tools/libs/evtchn: Use uint32_t for domid arguments
authorIan Campbell <ian.campbell@citrix.com>
Wed, 16 Dec 2015 15:44:49 +0000 (15:44 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 22 Jan 2016 12:24:19 +0000 (12:24 +0000)
commit449e75b16adc667fb94c4bd4f2d578a6728aba29
tree657168b5595cc8f77e358576d4d34dd1a10b13bb
parent650c168e62c16a202438d29686b6ade4e8067308
tools/libs/evtchn: Use uint32_t for domid arguments

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Wei Liu <wei.liu2@citrix.com>
tools/libs/evtchn/freebsd.c
tools/libs/evtchn/include/xenevtchn.h
tools/libs/evtchn/linux.c
tools/libs/evtchn/minios.c
tools/libs/evtchn/netbsd.c
tools/libs/evtchn/solaris.c